
 To see the system messages (kernel) use the Dbg view.exe program

 Be sure that the Kernel capture button (yellow gear) is active,
 and wait or load a driver to let it capture messages.